Symbols Redefined

Symbol Use and Symbolic Representation: Developmental and Comparative Perspectives Symbols Redefined

Supervisory Control of Discrete-event Systems under Attacks

We consider a supervisory control problem for discrete-event systems, in which an attacker corrupts the symbols that are observed by the supervisor. We show that existence of a supervisor enforcing a specification language, in the presence of attacks, is completely characterized by controllability (in the usual sense) and observability of the specification (in a new appropriately defined sense)...

SOME RESULTS ON REDEFINED FUZZY SUBGROUPS

In this article we will use the redefined definition of a fuzzy subgroup as in [1], and will mainly prove that if G, G are two groups and f: G G' is an epirnorphism, then there is a bijection between the set of all fuzzy subgroups of G/Ker f and that of G .

REDEFINED FUZZY SUBALGEBRAS OF BCK/BCI-ALGEBRAS

Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.

Evans' Normal Form Theorem Revisited

Evans defined quasigroups equationally, and proved a Normal Form Theorem solving the word problem for free extensions of partial Latin squares. In this paper, quasigroups are redefined as algebras with six basic operations related by triality, manifested as coupled right and left regular actions of the symmetric group on three symbols. Triality leads to considerable simplifications in the proof...